Electronic design automation - PDFSEARCH.IO - Document Search Engine

Electronic design automation
Results: 1598

#	Item
781	Microsoft PowerPoint - 11 Whalen IBIS Update Add to Reading List Source URL: www.osc.nc.gov Language: English - Date: 2014-12-15 16:50:20 Ibis Comics Electronic design automation Input/output Buffer Information Specification Hotel Ibis
782	F R A U N H O F E R I N S T I T U T e for integrated circuits I I S design automation di v ision E A S Photo: Jürgen Lösel Coside® – Add to Reading List Source URL: www.eas.iis.fraunhofer.de Language: English - Date: 2015-01-15 11:33:57 Hardware description languages SystemC Catapult C Electronic engineering Electronic design automation Hardware verification languages
783	Rittal Electronic Systems - the complete know-how Add to Reading List Source URL: www.rittal.bg Language: English - Date: 2013-04-09 15:11:45 Open standards Engineering Design for X Reliability engineering Survival analysis Logistics CompactPCI Automation Knowledge Computer buses Systems engineering Science
784	Saber Aerospace Overview Proven Robust Design Solution for Aerospace Mechatronic Systems Saber ® is the proven standard for mechatronic system design and verification. Aerospace design teams worldwide use Saber to devel Add to Reading List Source URL: www.synopsys.com Language: English VHDL-AMS Synopsys Reliability engineering VHDL SystemC SPICE Verilog Aerospace engineering Modeling language Electronic engineering Hardware description languages Electronic design automation
785	Corporate Backgrounder Fall 2014 Synopsys Overview and History Synopsys, Inc. (Nasdaq:SNPS) provides products and services that accelerate innovation in the global electronics market. As a leader in electronic design Add to Reading List Source URL: www.synopsys.com Language: English Electronic design Hillsboro Oregon Synopsys Integrated circuits Signoff High-level synthesis Logic synthesis Xilinx Integrated circuit design Electronic engineering Electronic design automation Electronics
786	[removed]Iowa STEM Scale-Up Design and Modeling (DM) and Automation and Robotics (AR) Materials List This document is intended to provide middle schools selected as part of[removed]Iowa STEM Scale-Up Initiative with a Add to Reading List Source URL: www.iowastem.gov Language: English - Date: 2013-04-04 14:11:39 Vex Robotics Design System Amazon.com Teacher Communication Electronic commerce Teaching Education
787	Synthesizing Safe Bit-Precise Invariants? Arie Gurfinkel, Anton Belov and Joao Marques-Silva Abstract. Bit-precise software verification is an important and difficult problem. While there has been an amazing progress in Add to Reading List Source URL: anton.belov-mcdowell.com Language: English - Date: 2014-01-27 10:25:19 Propositional calculus Boolean algebra Electronic design automation Logic in computer science NP-complete problems Boolean satisfiability problem Satisfiability Modulo Theories Well-formed formula Unsatisfiable core Logic Theoretical computer science Mathematical logic
788	Datasheet PrimeTime Golden Timing Signoff Solution and Environment Overview Add to Reading List Source URL: www.synopsys.com Language: English - Date: 2015-02-18 15:15:31 Signal integrity Design closure Static timing analysis Timing closure Delay calculation Application-specific integrated circuit Design flow Clock distribution network Parasitic extraction Electronic engineering Electronic design automation Signoff
789	White Paper Accelerating Analog Simulation with HSPICE Precision Parallel Technology September 2010 Add to Reading List Source URL: www.synopsys.com Language: English - Date: 2014-11-07 14:40:04 Electronic design automation Electronic design Computer architecture Microprocessors Multi-core processor Electronic circuit simulation SPICE Parallel computing Electrical network Electronic engineering Electronics Electromagnetism
790	BARF: A multiplatform open source Binary Analysis and Reverse engineering Framework Christian Heitman and Iv´an Arce Fundaci´ on Sadosky, {cnheitman,iarce}@fundacionsadosky.org.ar Add to Reading List Source URL: www.fundacionsadosky.org.ar Language: English - Date: 2014-10-23 11:23:52 Assembly languages Constraint programming Electronic design automation Satisfiability Modulo Theories X86 MOV High Level Assembly X86 assembly language Computer architecture Theoretical computer science Computing

UPDATE